principal projection property

主射影性质